21. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
پدیدآورنده: Franz Baader, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3452
22. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
پدیدآورنده: Matthias Baaz, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2514
23. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
پدیدآورنده: / Geoff Sutcliffe, Andrei Voronkov (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses
رده :
005
.
115
I61L
2005
24. Mathematics mechanization
پدیدآورنده: / by Wu Wen-tsun
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence
رده :
QA76
.
9
.
A96
,
W8
2000
25. Mathematics mechanization
پدیدآورنده: / by Wu Wen-tsun
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence
رده :
QA76
.
9
.
A96
,
W8
2000
26. Mathematics mechanization
پدیدآورنده: / by Wu Wen-tsun
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence
رده :
QA76
.
9
.
A96
,
W8
2000
27. Mathematics mechanization
پدیدآورنده: / by Wu Wen-tsun
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence
رده :
QA76
.
9
.
A96
,
W8
2000
28. Mathematics mechanization and applications
پدیدآورنده: edited by Xiao-Shan Gao and Dongming Wang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Automatic theorem proving,Numerical solutions ، Equations,، Artificial intelligence,، Programming )Mathematics(
رده :
QA
76
.
9
.
A96
M34
2000
29. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3-7, 1996 : proceedings
پدیدآورنده: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1085
30. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996 : proceedings
پدیدآورنده: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Automatic theorem proving - Congresses , Reasoning - Congresses , Artificial intelligence - Congresses
رده :
QA
76
.
9
.
A96
I575
1996
31. Relative complexities of first order calculi
پدیدآورنده: Elmar Eder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Automatic theorem proving.,Stufe 1.
رده :
QA76
.
9
.
A96
E463
1992
32. Symbolic Logic and mechanical theorem proving
پدیدآورنده: Chang, Chin-Liang, 7391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C53
1987
33. Symbolic logic and mechanical theorem proving
پدیدآورنده: Chin-Liang Chang, Richard Char-Tung Lee,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence
رده :
QA
.
C483
9
1987
34. Symbolic logic and mechanical theorem proving
پدیدآورنده : Chang, Chin- Liang
موضوع : ، Logic, Symbolic and mathemaical,، Automatic theorem proving,، Artificial intelligence
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
35. Term Indexing
پدیدآورنده: Peter Graf
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Automatic theorem proving.,Expert systems (Computer science)
رده :
QA76
.
9
.
A96
P484
1996
36. Term indexing
پدیدآورنده: Graf, Peter, 6691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Expert systems )Computer science(,، Artificial intelligence,، Indexing
رده :
QA
76
.
L28
Vol
.
1053
